free domain's vcpu array

free domain's vcpu array

This was overlooked in fb442e2171 ("x86_64: allow more vCPU-s per
guest").

This is CVE-2015-7969 / XSA-149.

Reported-by: Ian Campbell <ian.campbell@citrix.com>
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Ian Campbell <ian.campbell@citrix.com>
master commit: d46896ebbb23f3a9fef2eb6066ae614fd1acfd96
master date: 2015-10-29 13:35:40 +0100

(cherry picked from commit 2c57108c36eaa10885b7d0daad534348717e4f9d)

Patch-Name: CVE-2015-7969.diff

Gbp-Pq: Name CVE-2015-7969.diff